Stochastic Process Algebras
نویسندگان
چکیده
In this tutorial we give an introduction to stochastic process algebras and their use in performance modelling, with a focus on the PEPA formalism. A brief introduction is given to the motivations for extending classical process algebra with stochastic times and probabilistic choice. We then present an introduction to the modelling capabilities of the formalism and the tools available to support Markovian based analysis. The chapter is illustrated throughout by small examples, demonstrating the use of the formalism and the tools.
منابع مشابه
Stochastic Process
We introduce Stochastic Process Algebras as a novel approach for the structured design and analysis of both the functional behaviour and performabil-ity (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into the powerful and well investigated formal description techniques of process algebras...
متن کاملQuantifying the Dynamic Behavior of Process Algebras
The paper introduces a new approach to define process algebras with quantified transitions. A mathematical model is introduced which allows the definition of various classes of process algebras including the well known models of untimed, probabilistic and stochastic process algebras. For this general mathematical model a bisimulation equivalence is defined and it is shown that the equivalence i...
متن کاملStochastic Process Algebras and their Application to
In this tutorial we present two major applications of process algebras to performance modelling. The rst is the use of classical or timed process algebra to verify simulation models. The second is the direct use of stochastic process algebras to construct and solve performance models. The tutorial presents an overview of the current trends and areas of active research, as well as their implicat...
متن کاملStochastic Process Algebras - Between LOTOS and Markov Chains
This paper introduces stochastic process algebras as an approach for the structured design and analysis of both the functional behavior and performance characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into process algebras like CCS or LOTOS. We demonstrate how notions of equivalent behavior – substantial for process algebras ...
متن کاملStochastic Models on a Ring and Quadratic Algebras. The Three Species Diffusion Problem
The stationary state of a stochastic process on a ring can be expressed using traces of monomials of an associative algebra defined by quadratic relations. If one considers only exclusion processes one can restrict the type of algebras and obtain recurrence relations for the traces. This is possible only if the rates satisfy certain compatibility conditions. These conditions are derived and the...
متن کاملStochastic Process Algebras: Past, Present and Future
In the last decade a new formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems has emerged with Stochastic Process Algebras (SPA for short). Like classical process algebras, they are algebraic languages endowed with a small set of powerful operators whereby it is possible to construct algebriac models from simpler ones. The main advantages ...
متن کامل